首页> 外文OA文献 >Specialization of Functional Logic Programs Based on Needed Narrowing

【2h】

Specialization of Functional Logic Programs Based on Needed Narrowing

机译：基于所需缩小的功能逻辑程序的专业化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
María Alpuente; Salvador Lucas; Germán Vidal; Michael Hanus;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Specialization of functional logic programs based on needed narrowing [J] . MARIA ALPUENTE, SALVADOR LUCAS, GERMAN VIDAL, Theory and Practice of Logic Programming . 2005,第Pt3期

机译：基于所需范围缩小功能逻辑程序的专业化
2. The narrowing-driven approach to functional logic program specialization [J] . Elvira Albert, German Vidal New Generation Computing . 2002,第1期

机译：缩小驱动的功能逻辑程序专业化方法
3. Specialization of lazy functional logic programs [J] . M. Alpuente, M. Falaschi, P. Julian, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 1997,第12期

机译：懒函数逻辑程序的专业化
4. Using an abstract representation to specialize functional logic programs [C] . Elvira Albert, Michael Hanus, German Vidal International conference on logic for programming and automated reasoning . 2000

机译：使用抽象表示来专用功能逻辑程序
5. Multiparadigm programming: Novel devices for implementing functional and logic programming constructs in C++. [D] . McNamara, Brian. 2004

机译：多范式编程：用于在C ++中实现功能和逻辑编程结构的新型设备。
6. Is There a Molecular Logic that Sustains Neuronal Functional Integrity and Survival?: Lipid Signaling is Necessary for Neuroprotective Neuronal Transcriptional Programs [O] . Nicolas G. Bazan -1

机译：是否存在维持神经元功能完整性和生存的分子逻辑？：脂质信号传导对于神经保护性神经元转录程序是必需的。
7. Specialization of Functional Logic Programs Based on Needed Narrowing [O] . Alpuente, Maria, Hanus, Michael, Lucas, Salvador, 2004

机译：基于需要缩小的功能逻辑程序的专业化
8. Practical Higher-Order Functional and Logic Programming Based on Lambda-Calculus and Set-Abstraction [R] . Silbermann, F. S., Jayaraman, B. 1988

机译：基于Lambda-Calculus和集抽象的实用高阶泛函和逻辑程序设计

Specialization of Functional Logic Programs Based on Needed Narrowing

著录项

引文网络

相似文献

相关主题

期刊订阅